Four Postulates of Quantum Mechanics Are Three

The tensor product postulate of quantum mechanics states that the Hilbert space a composite system is components' spaces. All current formalizations do not contain this some equivalent or assumption (sometimes hidden). Here we give natural definition as set containing component systems and show how one can logically derive rule from state measurement postulate. In other words, our paper reduces by number postulates necessary to mechanics.